Contemporary literature in philosophy of action seems to be divided overthe place of action in the natural causal world. I think that a disagreementabout ontology underlies the division. I argue here that human action isproperly understood only by reference to a category of process or activity,where this is not a category of particulars.

Testimony is an invaluable source of knowledge. We rely on the reports of those around us for everything from the ingredients in our food and medicine to the identity of our family members. Recent years have seen an explosion of interest in the epistemology of testimony. Despite the multitude of views offered, a single thesis is nearly universally accepted: testimonial knowledge is acquired through the process of transmission from speaker to hearer. In this book, Jennifer Lackey shows that this (...) thesis is false and, hence, that the literature on testimony has been shaped at its core by a view that is fundamentally misguided. She then defends a detailed alternative to this conception of testimony: whereas the views currently dominant focus on the epistemic status of what speakers believe, Lackey advances a theory that instead centers on what speakers say. The upshot is that, strictly speaking, we do not learn from one another's beliefs - we learn from one another's words. Once this shift in focus is in place, Lackey goes on to argue that, though positive reasons are necessary for testimonial knowledge, testimony itself is an irreducible epistemic source. This leads to the development of a theory that gives proper credence to testimony's epistemologically dual nature: both the speaker and the hearer must make a positive epistemic contribution to testimonial knowledge. The resulting view not only reveals that testimony has the capacity to generate knowledge, but it also gives appropriate weight to our nature as both socially indebted and individually rational creatures. The approach found in this book will, then, represent a radical departure from the views currently dominating the epistemology of testimony, and thus is intended to reshape our understanding of the deep and ubiquitous reliance we have on the testimony of those around us. (shrink)

Intuitively, there is a difference between knowledge and mere belief. Contemporary philosophical work on the nature of this difference has focused on scenarios known as “Gettier cases.” Designed as counterexamples to the classical theory that knowledge is justified true belief, these cases feature agents who arrive at true beliefs in ways which seem reasonable or justified, while nevertheless seeming to lack knowledge. Prior empirical investigation of these cases has raised questions about whether lay people generally share philosophers’ intuitions about these (...) cases, or whether lay intuitions vary depending on individual factors (e.g. ethnicity) or factors related to specific types of Gettier cases (e.g. cases that include apparent evidence). We report an experiment on lay attributions of knowledge and justification for a wide range of Gettier Cases and for a related class of controversial cases known as Skeptical Pressure cases, which are also thought by philosophers to elicit intuitive denials of knowledge. Although participants rated true beliefs in Gettier and Skeptical Pressure cases as being justified, they were significantly less likely to attribute knowledge for these cases than for matched true belief cases. This pattern of response was consistent across different variations of Gettier cases and did not vary by ethnicity or gender, although attributions of justification were found to be positively related to measures of empathy. These findings therefore suggest that across demographic groups, laypeople share similar epistemic concepts with philosophers, recognizing a difference between knowledge and justified true belief. (shrink)

Civil society organizations (CSOs) have significantly impacted on the politics of health research and the field of bioethics. In the globalHIVepidemic,CSOs have served a pivotal stakeholder role. The dire need for development of new prevention technologies has raised critical challenges for the ethical engagement of community stakeholders inHIVresearch. This study explored the perspectives ofCSOrepresentatives involved inHIVprevention trials (HPTs) on the impact of premature trial closures on stakeholder engagement. Fourteen respondents fromSouthAfrican and internationalCSOs representing activist and advocacy groups, community mobilisation initiatives, (...) and human and legal rights groups were purposively sampled based on involvement inHPTs. Interviews were conducted fromFebruary‐May 2010. Descriptive analysis was undertaken across interviews and key themes were developed inductively.CSOrepresentatives largely described positive outcomes of recent microbicide andHIVvaccine trial terminations, particularly inSouthAfrica, which they attributed to improvements in stakeholder engagement. Ongoing challenges to community engagement included the need for principled justifications for selective stakeholder engagement at strategic time‐points, as well as the need for legitimate alternatives toCABs as mechanisms for engagement. Key issues forCSOs in relation to research were also raised. (shrink)

Roelcke non-precompactness, simplicity, and non-amenability of the automorphism group of the Fraïssé limit of finite Heyting algebras are proved among others.

We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...) this is an enhancement of Schweber–Hachtman separation of open and clopen determinacy into the consistency-wise separation. (ii) Hausdorff–Kuratowski hierarchy of differences of opens is faithfully reflected by the hierarchy of consistency strengths of corresponding parameter-free determinacies in the aforementioned frameworks; this result is valid also in second order arithmetic only except clopen determinacy. (shrink)

Once symbolized by a burning armchair, experimental philosophy has in recent years shifted away from its original hostility to traditional methods. Starting with a brief historical review of the experimentalist challenge to traditional philosophical practice, this chapter looks at research undercutting that challenge, and at ways in which experimental work has evolved to complement and strengthen traditional approaches to philosophical questions.

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditionalω. Namely, the equivalence between normal transfinite recursion scheme and newdependent transfinite recursionscheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universeVof sets is treated as the given (...) totality. (shrink)

Introduction -- Elucidating complexity theories -- Complexity in the natural sciences -- Complexity in social theory -- Towards transdisciplinarity -- Complexity in philosophy: complexification and the limits to knowledge -- Complexity in ethics -- Earth in the anthropocene -- Complexity and climate change -- American dreams, ecological nightmares and new visions -- Complexity and sustainability: wicked problems, gordian knots and synergistic solutions -- Conclusion.

Prediction is essential for the efficiency of many cognitive processes; however, this process is not always perfect. Predictive coding theory suggests that the brain generates and updates a prediction to respond to an upcoming event. Although an electrophysiological index of prediction, the stimulus preceding negativity, has been reported, it remains unknown whether the SPN reflects the prediction accuracy, or whether it is associated with the prediction error, which corresponds to a mismatch between a prediction and an actual input. Thus, the (...) present study aimed to investigate this question using electroencephalography. Participants were asked to predict the original pictures from pictures that had undergone different levels of pixelation. The SPN amplitude was affected by the level of pixelation and correlated with the subjective evaluation of the prediction accuracy. Furthermore, late positive components were negatively correlated with SPN. These results suggest that the amplitude of SPN reflects the prediction accuracy; more accurate prediction increases the SPN and reduces the prediction error, resulting in reduced LPC amplitudes. (shrink)

In his previous work, the author has introduced the axiom schema of inductive dichotomy, a weak variant of the axiom schema of inductive definition, and used this schema for elementary ) positive operators to separate open and clopen determinacies for those games in which two players make choices from infinitely many alternatives in various circumstances. Among the studies on variants of inductive definitions for bounded ) positive operators, the present article investigates inductive dichotomy for these operators, and applies it to (...) constructive investigations of variants of determinacy statements for those games in which the players make choices from only finitely many alternatives. As a result, three formulations of open determinacy, that are all classically equivalent with each other, are equivalent to three different semi-classical principles, namely Markov’s Principle, Lesser Limited Principle of Omniscience and Limited Principle of Omniscience, over a suitable constructive base theory that proves clopen determinacy. Open and clopen determinacies for these games are thus separated. Some basic results on variants of inductive definitions for \ positive operators will also be given. (shrink)

This article studies three most basic systems of truth as well as their subsystems over set theory ZF possibly with AC or the axiom of global choice GC, and then correlates them with subsystems of Morse–Kelley class theory MK. The article aims at making an initial step towards the axiomatic study of truth in set theory in connection with class theory. Some new results on the side of class theory, such as conservativity, forcing and some forms of the reflection principle, (...) are also presented. The equivalence results among systems of truth and classes obtained in this article are summarized in Theorem 104 , Theorem 107 and Theorem 108. (shrink)

Jennifer Hornsby offers here detailed discussions of ontology, human agency, and everyday psychological explanation. In her distinctive view of questions about the mind's place in nature she argues for a particular position in philosophy of mind: naive naturalism.

Truth is often considered to be a logico-linguistic tool for expressing indirect endorsements and infinite conjunctions. In this article, I will point out another logico-linguistic function of truth: to enable and validate what I call a blind argument, namely, an argument that involves indirectly endorsed statements. Admitting this function among the logico-linguistic functions of truth has some interesting consequences. In particular, it yields a new type of so-called conservativeness argument, which poses a new type of threat to deflationism about truth.

We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies have been extensively studied, we point out that well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting α⊢wfwhereα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${_\alpha \vdash \mathsf{wf}\, {\rm where}\, _\alpha}$$\end{document} stands for the iteration of Π10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi^0_1}$$\end{document} comprehension along some ordinal α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha}$$\end{document} and wf\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{wf}}$$\end{document} stands for the well-foundedness of α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha}$$\end{document}. (shrink)

The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overview of recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the conjecture raised by Feferman in [13].

In this collection of original essays, international scholars put Asian traditions, such as Hinduism, Buddhism, Daoism, and Confucianism, into conversation with one or more contemporary feminist philosophies, founding a new mode of inquiry that attends to diverse voices and the complex global relationships that define our world. -/- These cross-cultural meditations focus on the liberation of persons from suffering, oppression, illusion, harmful conventions and desires, and other impediments to full personhood by deploying a methodology that traverses multiple philosophical styles, historical (...) texts, and frames of reference. Hailing from the discipline of philosophy in addition to Asian, gender, and religious studies, the contributors offer a fresh take on the classic concerns of free will, consciousness, knowledge, objectivity, sexual difference, embodiment, selfhood, the state, morality, and hermeneutics. One of the first anthologies to embody the practice of feminist comparative philosophy, this collection creatively and effectively engages with global, cultural, and gender differences within the realms of scholarly inquiry and theory construction. -/- http://cup.columbia.edu/book/978-0-231-16624-9/asian-and-feminist-philosophies-in-dialogue. (shrink)

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA0, those in second order set theory extending NBG are. In this article, we establish the equivalence between Δ01-LFP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^1_0\mbox{\bf-LFP}}$$\end{document} and Δ01-FP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^1_0\mbox{\bf-FP}}$$\end{document}, which assert the existence of a least and of a fixed point, respectively, for positive elementary operators. Our proof also shows (...) the equivalence between ID1 and ID^1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\widehat{\it ID}_1}$$\end{document}, both of which are defined in the standard way but with the starting theory PA replaced by ZFC. (shrink)

We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel's AFA, the Anti-Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman's method of defining the extensional membership relation ∈ by means of the intensional membership relation ε .Analogously to the usual forcing and the usual generic (...) extension for FA-models, we can justify the existence of generic filters and can obtain the Forcing Theorem and the Minimal Model Theorem with some modifications. These results are on the line of works to investigate whether model theory for AFA-set theory can be developed in a similar way to that for FA-set theory.Aczel pointed out that the quotient of transition systems by the largest bisimulation and transition relations have the essentially same theory as the set theory with AFA. Therefore, we could hope that, by using our new method, some open problems about transition systems turn out to be consistent or independent. (shrink)

A disjunctivist conception of acting for reasons is introduced by way of showing that a view of acting for reasons must give a place to knowledge. Two principal claims are made. 1. This conception has a rôle analogous to that of the disjunctive conception that John McDowell recommends in thinking about perception; and when the two disjunctivist conceptions are treated as counterparts, they can be shown to have work to do in combination. 2. This conception of acting for reasons safeguards (...) the connection between considerations that move us to act in particular ways and considerations that favour our acting in particular ways. (shrink)

We present a version of Herbelin’s image-calculus in the call-by-name setting to study the precise correspondence between normalization and cut-elimination in classical logic. Our translation of λμ-terms into a set of terms in the calculus does not involve any administrative redexes, in particular η-expansion on μ-abstraction. The isomorphism preserves β,μ-reduction, which is simulated by a local-step cut-elimination procedure in the typed case, where the reduction system strictly follows the “ cut=redex” paradigm. We show that the underlying untyped calculus is confluent (...) and enjoys the PSN property for the isomorphic image of λμ-calculus, which in turn yields a confluent and strongly normalizing local-step cut-elimination procedure for classical logic. (shrink)

We consider two variants of transfinite induction, one with monotonicity assumption on the predicate and one with the induction hypothesis only for cofinally many below. The latter can be seen as a transfinite analogue of the successor induction, while the usual transfinite induction is that of cumulative induction. We calculate the supremum of ordinals along which these schemata for \ formulae are provable in \. It is shown to be larger than the proof-theoretic ordinal \ by power of base 2. (...) We also show a similar result for the structural transfinite induction, defined with fundamental sequences. (shrink)

How, in a secular world, should we resolve ethically controversial and troubling issues relating to health care? Should we, as some argue, make a clean sweep, getting rid of the Hippocratic ethic, such vestiges of it as remain? Jennifer Jackson seeks to answer these significant questions, establishing new foundations for a traditional and secular ethic which would not require a radical and problematic overhaul of the old. These new foundations rest on familiar observations of human nature and human needs. (...) Jackson presents morality as a loose anatomy of constituent virtues that are related in different ways to how we fare in life, and suggests that in order to address problems in medical ethics, a virtues-based approach is needed. Throughout, attention is paid to the role of philosophy in medical ethics, and how it can be used to clarify key notions and distinctions that underlie current debates and controversial issues. By reinstating such concepts as justice, cardinal virtue, and moral duty, Jackson lays the groundwork for an ethics of health care that makes headway toward resolving seeming dilemmas in medical ethics today. This penetrating and accessible book will be invaluable to students of sociology and health care, as well as those who are interested in the ethical uncertainties faced by the medical world. (shrink)

The conservativeness argument poses a dilemma to deflationism about truth, according to which a deflationist theory of truth must be conservative but no adequate theory of truth is conservative. The debate on the conservativeness argument has so far been framed in a specific formal setting, where theories of truth are formulated over arithmetical base theories. I will argue that the appropriate formal setting for evaluating the conservativeness argument is provided not by theories of truth over arithmetic but by those over (...) subject matters ‘richer’ than arithmetic, such as set theory. The move to this new formal setting provides deflationists with better defence and brings a broader perspective to the debate. (shrink)

Distracted attention is considered responsible for most car accidents, and many functional magnetic resonance imaging researchers have addressed its neural correlates using a car-driving simulator. Previous studies, however, have not directly addressed safe driving performance and did not place pedestrians in the simulator environment. In this fMRI study, we simulated a pedestrian-rich environment to explore the neural correlates of three types of safe driving performance: accurate lane-keeping during driving, the braking response to a preceding car, and the braking response to (...) a crossing pedestrian. Activation of the bilateral frontoparietal control network predicted high driving accuracy. On the other hand, activation of the left posterior and right anterior superior temporal sulci preceding a sudden pedestrian crossing predicted a slow braking response. The results suggest the involvement of different cognitive processes in different components of driving safety: the facilitatory effect of maintained attention on driving accuracy and the distracting effect of social–cognitive processes on the braking response to pedestrians. (shrink)

Do epistemic intuitions tell us anything about knowledge? Stich has argued that we respond to cases according to our contingent cultural programming, and not in a manner that tends to reveal anything significant about knowledge itself. I’ve argued that a cross-culturally universal capacity for mindreading produces the intuitive sense that the subject of a case has or lacks knowledge. This paper responds to Stich’s charge that mindreading is cross-culturally varied in a way that will strip epistemic intuitions of their evidential (...) value. I argue that existing work on cross-cultural variation in mindreading favors my position over Stich’s. (shrink)

Although dual-process or divided-mind models of self-control dominate the literature, they suffer from empirical and conceptual challenges. We propose an alternative approach, suggesting that self-control can be characterized by a fragmented part versus integrated whole dynamic. Whereas responses to events derived from fragmented parts of the mind undermine self-control, responses to events derived from integrated wholes enhance self-control. We review empirical evidence from psychology and related disciplines that support this model. We, moreover, discuss the implications of this work for psychology, (...) neuroscience, economics, and philosophy. In particular, we highlight how this model addresses many of the conceptual and empirical short-comings of divided-mind models. We suggest that understanding self-control as the interplay between fragmented parts versus integrated wholes, moreover, provides novel insights and testable new hypotheses. (shrink)

This essay explores the speech act of dogwhistling (sometimes referred to as ‘using coded language’). Dogwhistles may be overt or covert, and within each of these categories may be intentional or unintentional. Dogwhistles are a powerful form of political speech, allowing people to be manipulated in ways they would resist if the manipulation was carried outmore openly—often drawing on racist attitudes that are consciously rejected. If philosophers focus only on content expressed or otherwise consciously conveyed they may miss what is (...) most powerful and pernicious in the speech of political culture. This essay is a call to start paying attention to these more covert speech acts, and a first attempt at beginning to theorize them. It argues that dogwhistles present a complex and interesting case for the philosopher of language, and explores their implications for democratic politics. (shrink)

'This book not only revises the interpretation of Dewey's ethics but also has relevance to recent discussions about the possibility of naturalistic, ...

To what extent should we trust our natural instincts about knowledge? The question has special urgency for epistemologists who want to draw evidential support for their theories from certain intuitive epistemic assessments while discounting others as misleading. This paper focuses on the viability of endorsing the legitimacy of Gettier intuitions while resisting the intuitive pull of skepticism – a combination of moves that most mainstream epistemologists find appealing. Awkwardly enough, the “good” Gettier intuitions and the “bad” skeptical intuitions seem to (...) be equally strong. This chapter argues that it is not a coincidence that these two types of intuition register with equal force: they are generated by a common mechanism. However, the input to this mechanism is interestingly different in the two types of case, and different in a way that can support the mainstream view that Gettier cases tell us something about knowledge where skeptical intuitions involve systematic error. (shrink)

In this article I explore various facets of Nozick’s famous thought experiment involving the experience machine. Nozick’s original target is hedonism—the view that the only intrinsic prudential value is pleasure. But the argument, if successful, undermines any experientialist theory, i.e. any theory that limits intrinsic prudential value to mental states. I first highlight problems arising from the way Nozick sets up the thought experiment. He asks us to imagine choosing whether or not to enter the machine and uses our choice (...) (or rather the choice he assumes most people will have) as evidence against experientialist theories. But for this strategy to succeed it must be possible to distinguish between self-interested and non-self-interested reasons for declining to enter the machine, and there is no obvious way to do this without begging the question against the hedonist. In successive sections I then (a) consider a common misconception of Nozick’s conclusion (that he thinks machine life is the worst life), (b) consider different intuitions about what is important to well-being but missing from machine life, and finally (c) explain what “the experience requirement” is, and describe its relationship to debates about experientialist theories. (shrink)

In this article we study the systems KF and VF of truth over set theory as well as related systems and compare them with the corresponding systems over arithmetic.

We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters. We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of -filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters will turn out to coincide with truth sets under various (...) well known semantics for certain substructural logics. We also investigate which structural rules are needed to interpret each connective in terms of prime -filters in the same way as in Kripke or Routley-Meyer semantics. We may consider that the set of the structural rules that each connective needs in this sense reflects the difficulty of giving the meaning of the connective. A surprising discovery is that connectives , ⅋ of linear logic are linearly ordered in terms of the difficulty in this sense. (shrink)

Classes are the objects of the second sort of second-order set theory. They have sets as their members and behave like sets, but paradoxes tell us that many classes cannot be sets. Then, what are classes? Predicativism about classes suggests that classes are predicates of sets, and this article investigates the question from the predicativist point of view in light of recent developments in the use of classes in set theory. Predicativism has been considered too restrictive and unable to accommodate (...) the use of classes in set theory. This diagnosis, however, is only true of a certain specific type of predicativism. In this article, we propose a new type of predicativism, which we call liberal predicativism, and argue that predicativism is still a highly viable option, and our liberal version provides a sufficiently versatile and workable nominalist concept of classes for set theory. (shrink)

We investigate the role of coalgebraic predicate logic, a logic for neighborhood frames first proposed by Chang, in the study of monotonic modal logics. We prove analogues of the Goldblatt–Thomason theorem and Fine’s canonicity theorem for classes of monotonic neighborhood frames closed under elementary equivalence in coalgebraic predicate logic. The elementary equivalence here can be relativized to the classes of monotonic, quasi-filter, augmented quasi-filter, filter, or augmented filter neighborhood frames, respectively. The original, Kripke-semantic versions of the theorems follow as a (...) special case concerning the classes of augmented filter neighborhood frames. (shrink)

We measure, in the presence of the axiom of infinity, the proof-theoretic strength of the axioms of set theory which make the theory look really like a “theory of sets”, namely, the axiom of extensionality Ext, separation axioms and the axiom of regularity Reg . We first introduce a weak weak set theory as a base over which to clarify the strength of these axioms. We then prove the following results about proof-theoretic ordinals:1. and ,2. and . We also show (...) that neither Reg nor affects the proof-theoretic strength, i.e., where T is Basic plus any combination of Ext and. (shrink)